Les jeux de cartes dans le roman libertin du dix-huitième siècle

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

The value problem in stochastic games. (Le problème de la valeur dans les jeux stochastiques)

Game theory proved to be very useful in the field of verification of open reactive systems. This is due to the wide variety of games’ model that differ in the way players interact and the amount of information players have. In this thesis, we study the value problem for games where players have full knowledge on their current configuration of the game, partial knowledge, and no knowledge. In th...

le reflet des lettres philosophiques de voltaire dans la société française du xviiie siècle

en 1734 paraissent à londres, puis en france, les lettres anglaises, intitulées ensuite lettres philosophiques. cest lors de son exil en angleterre que voltaire en a conçu lidée, et a commencé de les rédiger. louvrage est condamné par le parlement de paris, et lauteur doit se réfugier en lorraine pour éviter la prison. les lettres présentent, en effet, à travers léloge des institutions anglais...

Essai d'adsorption du virus vaccinal sur le gel d'aluminü et la -possibilité de son utilisation dans les vaccins associés

Calcul des équilibres de Nash dans les jeux temporisés

Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...